Fix tests with OCaml 5.5.0

OCaml 5.5.0 introduced Int64.fdiv.

Gbp-Pq: Name 0002-Fix-tests-with-OCaml-5.5.0.patch

diff --git a/test/test_branch.ml b/test/test_branch.ml
index 3d8f7c8363eac05bec878e6f9e95030fe10e526f..1d05199d462b8d05725c8bcd3f4f2c70de9c86cf 100644 (file)
--- a/test/test_branch.ml
+++ b/test/test_branch.ml
@@ -88,18 +88,18 @@ let[@inline always] select_int choose_b a b =
 
 let time () = Clock.now ()
 
-let fdiv a b = a /. b
+let fdiv a b = Int64.(of_float (floor ((to_float a) /. (to_float b))))
 
 let () =
   let t0 = time () in
   let _  = one_if_not_zero 0x7eadbeef in
   let t1 = time () in
-  let v0 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v0 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[one_if_not_zero 0x7eadbeef]:  %fs.\n%!" v0 ;
   let t0 = time () in
   let _  = one_if_not_zero 0x0 in
   let t1 = time () in
-  let v1 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v1 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[one_if_not_zero 0x0]:         %fs.\n%!" v0 ;
   if v0 = v1
   && int_of_float v0 = one_if_not_zero_ops
@@ -110,12 +110,12 @@ let () =
   let t0 = time () in
   let _  = zero_if_not_zero 0x7eadbeef in
   let t1 = time () in
-  let v0 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v0 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[zero_if_not_zero 0x7eadbeef]: %fs.\n%!" v0 ;
   let t0 = time () in
   let _  = zero_if_not_zero 0x0 in
   let t1 = time () in
-  let v1 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v1 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[zero_if_not_zero 0x0]:        %fs.\n%!" v0 ;
   if v0 = v1
   && int_of_float v0 = zero_if_not_zero_ops
@@ -126,12 +126,12 @@ let () =
   let t0 = time () in
   let _  = select_int 0 1 2 in
   let t1 = time () in
-  let v0 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v0 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[select_int 0 1 2]:            %fs.\n%!" v0  ;
   let t0 = time () in
   let _  = select_int 2 1 0 in
   let t1 = time () in
-  let v1 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v1 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[select_int 2 1 0]:            %fs.\n%!" v1 ;
   if v0 = v1
   && int_of_float v0 = select_int_ops